negation introduction logic

join shbcf.ru